#ifndef VX_SERVER_H
#define VX_SERVER_H

#define SERVER_PORT_NUM 1042
#define SERVER_MAX_CONNECTIONS 1
#define SERVER_VXSEND_PRIORITY 9
#define SERVER_VXRECEIVE_PRIORITY 9
#define SERVER_STACK_SIZE 2000
#define REQUEST_MSG_SIZE 4

#include "vxWorks.h" 
#include "sockLib.h" 
#include "inetLib.h" 
#include "taskLib.h" 
#include "stdioLib.h" 
#include "strLib.h" 
#include "ioLib.h" 
#include "fioLib.h"
#include "config.h"
#include "utils.h"
#include <stdio.h>
#include <stdlib.h>

//Generateur d'id de l'envoyeur
int lastIdServer = 0;

VOID vxSend (int sFd, char * address, u_short port, MSG_Q_ID idBalIHM);
VOID vxReceive (int sFd, char * address, u_short port, MSG_Q_ID idBalCommandes);

STATUS tcpServer(MSG_Q_ID idBalIHM, MSG_Q_ID idBalCommandes); 

#endif
